Principal Conjunctive Normal Forms